metainference mechanism

元推理机构